|
|
Modeling and Simulation of Incentive Mechanisms in Ethereum
Burianová, Tereza ; Fiedor, Jan (referee) ; Perešíni, Martin (advisor)
Tématem této bakalářské práce je poplatkový mechanismus v síti Ethereum, zejména změny představeny v EIP-1559. Cílem práce je zkoumat chování mechanismu a navrhnout případná možná vylepšení v případě nalezených nedostatků. Dříve používaný aukční systém vyžadoval libovolné nastavení výše poplatku uživatelem, což vedlo k přeplatkům a vysoké volatilitě výše poplatků. Tyto problémy nastaly převážně kvůli vyššímu vytížení sítě po popularizaci projektů jako například decentralizované finance, NFT kolekce a metaverse. Nový poplatkový mechanismus zavedl proměnlivou velikost bloku, která se dokáže přizpůsobit aktuálnímu vytížení sítě. Base fee, hodnota značící minimální výši poplatku potřebnou pro zahrnutí do bloku, je pak vypočítána na základě zaplněnosti předchozího bloku, což dělá poplatky více předvídatelnými. Bylo navrženo několik simulačních experimentů, které zkoumají typické chování a možné slabiny mechanismu. Nakonec bylo nalezeno možné vylepšení a byl navržen další výzkum. Cíle práce byly splněny a výsledky byly prezentovány.
|
|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
|
|
AC Drives Modeling in Modelica
Lalović, Goran ; Otava, Lukáš (referee) ; Václavek, Pavel (advisor)
Tato závěrečná bakalářská práce se zabývá s postupy fyzikálního modelování a simulaci střídavých pohonů v jazyce Modelica a prostředí OpenModelica. Za prvé, zde se nachází přehled všeobecných vlastností modelů pro základní typy střídavých pohonů, asynchronní a synchronní stroje a příslušných regulačních struktur v prostředí OpenModelica. Poté se bakalářská práce zaměřuje na srovnání chování vytvořených modelů s dostupnými modely v prostředí Matlab-Simulink. Cílem bakalářské práce bylo vyexportovat FMU, přeložit, odsimulovat a prácovat s modely z prostředí OpenModelica do Matlab-Simulink. Teoretický popis základních typů střídavých pohonů se nachází na prvních dvou kapitolách. Ve třetí kapitole se bakalářská práce zabývá srovnáváním modelů vytvořených v OpenModelica a Matlab-Simulink, a porovnává výsledky simulace. Na konci, jsou uvedeny základní informace o standardu FMI, FMU a mluví se o překadu modely z prostřdí OpenModelica, pomocí JModelica-y do Matlab-Simulink-u.
|
|
|
Numerical Methods for SIMLIB/C++
Němec, Zbyšek ; Martinek, David (referee) ; Peringer, Petr (advisor)
In my thesis I deal with design and implementation of numerical integration methods in object-oriented simulation library SIMLIB/C++. I have proposed and implemented modification of application interface and subsystem of numerical integration methods in SIMLIB library to allow easier extension with external methods. I also added a set of new external methods from GSL(GNU Scientific Library) and some of the interesting methods written in Fortran language from Netlib repository into SIMLIB. I have tested the new and the existing methods and I have compared their properties from the viewpoint of efficiency, stability and accuracy.
|
|
|
Reimplementation of GIS GRASS
Bartoň, Radek ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
The geographical information system GRASS has become a standard on the field of geographical phenomenon modeling during its 26 years old lifetime. However, its internal structure follows practices from the date of its creation. This thesis aims to design a possible shape of internal parts modernization using a component architecture and object-oriented design patterns with distributed computing and dynamic languages support in mind. The designed system should stay identical from the user's point-of-view. Design results are proven on a prototype library implementation called the GAL Framework.
|
|
|
Acceleration of Particles Tracking on CBM Experiment
Roth, Michael ; Kolář, Martin (referee) ; Musil, Petr (advisor)
The focus of this work is to research various methods of particle track reconstruction in the CBM experiment, and the problem of hardware acceleration of these methods. The advantages and disadvantages of the extended methods were discussed and a reconstruction method based on cellular automata and Kalman filters was selected for further study. In particular, the thesis details the development of a simulation model suitable for generating test data to facilitate future implementation of the selected tracking algorithm. Two different particle simulators have been developed and will be used in the following work to calculate the prediction step of the extended Kalman filter and to test the quality of the implemented reconstruction method.
|
|
|
Cellular Automata Simulator
Martinek, Dominik ; Polášek, Petr (referee) ; Peringer, Petr (advisor)
This work describes concept and implementation of cellular automata simulator. It is resolved into three thematic parts. First part is devoted to describe many kinds of cellular automata.In second part is concept of simulator. Thirt part contains procedure of implementation and some test and exemplary models.
|
|
|
LIFE CYCLE COST MODEL OF AN APARTMENT BUILDING
Galatíková, Milada ; Bradáč, Albert (referee) ; Comorek,, Martin (referee) ; Heralová,, Renáta Schneiderová (referee) ; Marková, Leonora (advisor)
Doctoral thesis Life cycle cost model of an apartment building includes the process of modeling, starting with the theoretical definition and ending up with testing it for practical usage, the error measurement and its recalling abilities. The aim is to construct a model for simulating the life cycle costs of an apartment building during the phase of purchasing it followed with the simulation of life cycle costs having the conditions defined in advance. The method of the model construction shall be found in stating an appropriate representative, setting the entrance parameters and defining the condition under which it is supposed to work. The last step is to test the created model in order to find possible mistakes. Mathematically-statistical methods shall be used for setting the model. Another researching method comprises of creating several exemplary studies which shall correct the costs model and expand its applicability.
|
|
|
Acceleration of Particles Tracking on CBM Experiment
Roth, Michael ; Kolář, Martin (referee) ; Musil, Petr (advisor)
The focus of this work is to research various methods of particle track reconstruction in the CBM experiment, and the problem of hardware acceleration of these methods. The advantages and disadvantages of the extended methods were discussed and a reconstruction method based on cellular automata and Extended Kalman filters was selected for further study. In particular, the thesis details the development of a simulation model suitable for generating test data to facilitate the implementation of the selected tracking algorithm, which was subsequently sped up using distributed computing methods. Two different particle simulation models and a reconstruction algorithm were implemented, with the reconstruction algorithm offering up to 800 per cent speed up factor in respect to the sequential algorithm and up to four orders of magnitude lower memory complexity.
|
|
|
Acceleration of Particles Tracking on CBM Experiment
Roth, Michael ; Kolář, Martin (referee) ; Musil, Petr (advisor)
The focus of this work is to research various methods of particle track reconstruction in the CBM experiment, and the problem of hardware acceleration of these methods. The advantages and disadvantages of the extended methods were discussed and a reconstruction method based on cellular automata and Kalman filters was selected for further study. In particular, the thesis details the development of a simulation model suitable for generating test data to facilitate future implementation of the selected tracking algorithm. Two different particle simulators have been developed and will be used in the following work to calculate the prediction step of the extended Kalman filter and to test the quality of the implemented reconstruction method.
|
guest ::
